Reliable broadcast in anonymous distributed systems with fair lossy channels

Reliable Broadcast is used to disseminate messages among a set of processes with RB broadcast() and RB deliver() operations, which was introduced in [1]. Reliable Broadcast is a broadcast service that requires all non-crashed processes deliver the same set of messages. This service has been extensively studied in non-anonymous systems, usually assuming that communication channels are reliable (if a process p sends a message m to a process q, and q is correct, then q eventually receives m) [2]. However, most of real channels are unreliable (e.g., fair lossy, which means that if a message is sent an arbitrary but finite number of times, there is no guarantee on its reception, it can lose an infinite number of messages [3]). While some work has been done to construct reliable channels over unreliable channels in non-anonymous systems [3], [4], the study of reliable broadcast in anonymous distributed systems with unreliable communication channels still has a big gap that needs to be filled up.